//]]>
Log in to Your Account
Search history
[
x
]
Library of American University of Madaba
Search
Library Catalog
Title
Author
Subject
ISBN
Series
Call Number
Lists
Advanced Search
|
Browse by author or subject
|
Tag Cloud
Your cart is empty.
Public Lists
No Public Lists
Log in to Create Your Own Lists
Your search returned 2 results.
Relevance
Popularity (Most to Least)
Popularity (Least to Most)
Author (A-Z)
Author (Z-A)
Call Number (0-9 to A-Z)
Call Number (Z-A to 9-0)
Publication/Copyright Date: Newest to Oldest
Publication/Copyright Date: Oldest to Newest
Acquisition Date: Newest to Oldest
Acquisition Date: Oldest to Newest
Title (A-Z)
Title (Z-A)
Unhighlight
Highlight
Automated Deduction in Geometry
by
Ida, Tetsuo.
Publication:
. X, 193 p. 55 illus.
Availability:
Copies available:
AUM Main Library (1),
Actions:
Add to Cart
Automated Deduction in Geometry
by
Schreck, Pascal.
Publication:
. X, 259 p.
Availability:
Copies available:
AUM Main Library (1),
Actions:
Add to Cart
Refine your search
Availability
Limit to
currently available items.
Authors
Fleuriot, Jacques.
Ida, Tetsuo.
Narboux, Julien.
Richter-Gebert, Jür...
Schreck, Pascal.
Libraries
AUM Main Library
Series
Lecture Notes in Com...
Topics
Artificial intellige...
Computational comple...
Computer Graphics.
Computer Science.
Software Engineering...
Show More
Languages:
English |
العربية
